Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·20h·
Discuss: Hacker News
✅Formal Verification
An introduction to program synthesis
mchav.github.io·8h·
Discuss: r/programming
✅Formal Verification
Compiling a Functional Language to LLVM
danieljharvey.github.io·3d·
Discuss: Lobsters, Hacker News
✅Formal Verification
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Computer Architecture
Issue 489
haskellweekly.news·19h·
Discuss: Hacker News
✅Formal Verification
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
✅Formal Verification
The Data Backbone of LLM Systems
infoq.com·14h·
Discuss: Lobsters
✅Formal Verification
C++ Language Updates in MSVC Build Tools v14.50
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
📦WebAssembly
A Tale from Database Performance at Scale: Rust and Driver Debugging
hackernoon.com·14h
🗄Database Systems
Improving state machine code generation
trifectatech.org·3d·
Discuss: Hacker News, r/rust
📦WebAssembly
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·1d·
Discuss: Lobsters, Hacker News, r/LocalLLaMA
⚡Performance Engineering
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🗄Database Systems
Program management update — August 2025
blog.rust-lang.org·1d·
Discuss: Hacker News, r/rust
🦀Rust
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
🔌Network Programming
Domain-Driven Design with TypeScript Decorators and Reflection
auslake.vercel.app·13h·
Discuss: r/programming
✅Formal Verification
C# Will Become F# – Gautier Talks About Microsoft Technology
gautiertalksmicrosoft.wordpress.com·11h·
Discuss: Hacker News
🔌Network Programming
Automating multi-language SDK doc generation with testable code snippets
docs.hatchet.run·8h·
Discuss: Hacker News
📦WebAssembly
A Positive Lambda: '+[]{}'
stackoverflow.com·2h·
Discuss: Lobsters, Hacker News
✅Formal Verification
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·9h·
Discuss: Hacker News
✅Formal Verification
AI Coding at a Crossroads: Disposable Code Editors and Flawed Benchmarks
kevinkuipers.substack.com·7h·
Discuss: Substack
📦WebAssembly